Übersetzung von HyCharts in HDFG
نویسندگان
چکیده
Die Spezi kation analoger und analog digitaler Systeme durch informelle Mittel wie Blockdia gramme und umgangssprachliche Beschreibungen ist durchaus ublich Derartige Spezi kationen k onnen zu schwerwiegenden Entwurfsfehlern f uhren die erst sp at etwa beim Vorliegen des fertigen Produktes entdeckt werden Dar uberhinaus k onnen informelle Spezi kationen nur schwer als Ausgangsbasis eines automatisierten Entwurfsprozesses dienen Abhilfe k onnte die Spezi kation analog digitaler Systeme mit Beschreibungstechniken scha en die eine formale Syntax und Semantik haben Dadurch wird e ziente Werkzeugunterst utzung m oglich und Mi verst andnisse k onnen vermieden werden Insbesondere kann eine Abbildung der Spezi kation auf ausf uhrbare Modelle zum fr uhzeitigen Experimentieren mit dem System verwendet werden rapid prototyping
منابع مشابه
Hybrid Systems { From HyCharts to Hybrid Data - Flow Graphs { 1
In this paper, a translation of the visual description technique HyCharts to Hybrid Data-Flow Graphs (HDFG) is given. While HyCharts combine a data-ow and a control-ow oriented formalism for the speciication of the architecture and the behavior of hybrid systems, HDFG allow the eecient and homogeneous internal representation of hybrid systems in computers and their automatic manipulation. HDFG ...
متن کاملPrototyping of hybrid systems - from HyCharts to Hybrid Data-Flow Graphs
In this paper a translation of the visual description technique HyCharts to Hybrid Data Flow Graphs HDFG is given While HyCharts combine a data ow and a control ow oriented formalism for the speci cation of the architecture and the behavior of hybrid systems HDFG allow the e cient and homogeneous internal representation of hybrid systems in computers and their automatic manipulation HDFG repres...
متن کاملEvaluierung der linguistischen Leistungsfähigkeit von Translation Memory-Systemen - ein Erfahrungsbericht
Eines der wichtigsten Ergebnisse des Treffens des GLDV-Arbeitskreises ‘Maschinelle Übersetzung’ im Februar 1999 (vgl. den URL ) war m.E. die Feststellung, daß sich Kriterien zur Evaluierung von Systemen zur maschinellen Übersetzung kaum für die Untersuchung von Translation Memory-Systemen eignen. Diese Erkenntnis ist zwar durchaus nicht neu [Rei94], wurde aber m.W. von Vertretern der MÜ bisher ...
متن کاملPigSPARQL: Übersetzung von SPARQL nach Pig Latin
Dieser Beitrag untersucht die effiziente Auswertung von SPARQLAnfragen auf großen RDF-Datensätzen. Zum Einsatz kommt hierfür das Apache Hadoop Framework, eine bekannte Open-Source Implementierung von Google's MapReduce, das massiv parallelisierte Berechnungen auf einem verteilten System ermöglicht. Zur Auswertung von SPARQL-Anfragen mit Hadoop wird in diesem Beitrag PigSPARQL, eine Übersetzung ...
متن کاملAnaphernresolution in flach analysierten Texten für Recherche und Übersetzung
Anaphernresolution ist wichtig für Retrieval und Textklassifikation, weil sie erlaubt, bei der Auszählung der Häufigkeit der Benennung eines Objekts, oder eines Objekttyps, eines Begriffs, die Ergebnisse durch die Anzahl der entsprechenden anaphorischen Verwendungen zu korrigieren. Bei der Maschinellen Übersetzung ist in der Regel durch diesen Bezug erst die korrekte Übersetzung von Pronomen mö...
متن کامل